package ch.epfl.lara.matcheck.util.printer;

import ch.epfl.lara.matcheck.ast.Formula

object PrettyPrinterFormula   
{ 
  def apply(formula: Formula): Unit = println(PrettyStringerFormula.toString(formula))
}


